Managing dependency graph in a large codebase
tweag.io·23h
📊Dependency Graphs
Untangling the Impossible: Diagnosing Constraint Conflicts in Boolean Models
dev.to·15h·
Discuss: DEV
🧮Constraint SMT
Solving Impossible Problems
aha.io·7h·
Discuss: Hacker News
⚡Proof Automation
CISA’s new SBOM standards shift beyond checkbox security
reversinglabs.com·8h
📋Format Specification
Bluefin LTS Released: Immutable Desktop on CentOS Stream 10
linuxiac.com·3h
🔓Open Source Software
The Hidden Costs of Rushing Open Source Upgrades
thenewstack.io·2d
🔓Open Source Software
GWSC Three Factor Authentication RFC (Draft-GWC-27001-3A)
gwsc-3fa.org·6h·
Discuss: Hacker News
🔐Capability Systems
mstorsjo/llvm-mingw
github.com·21h
🔗Static Linking
The Ultimate Guide to Linux Default Package Managers
maketecheasier.com·2d·
Discuss: Hacker News
📦Package Managers
How we built a flywheel to steadily improve security for Amazon RDS
aws.amazon.com·1d
👁️Observatory Systems
Shai-Hulud Attacks Shake Software Supply Chain Security Confidence
devops.com·6h
🔒WASM Capabilities
Filter the tools from MCP servers
blog.pamelafox.org·6h·
Discuss: www.blogger.com
⚡Proof Automation
Supply chain attacks are the new big thing (2022)
cryptologie.net·2d·
Discuss: Hacker News
📦Package Managers
category-labs/monad
github.com·22h
🔗Functional Compilers
Atomic Distros
nixers.net·13h
❄️Nix Flakes
FreeBSD Errata Notice FreeBSD-EN-25:17.bnxt
discoverbsd.com·16h
🛡️eBPF Security
The Fink Project
finkproject.org·1d·
Discuss: Hacker News
🔌Operating system internals
Reasoning Efficiently Through Adaptive Chain-of-Thought Compression: A Self-Optimizing Framework
arxiv.org·19h
🏗️Compiler Archaeology
Understanding legacy application rewrite vs. refactor tradeoffs
testdouble.com·1d
🔄Language Evolution
Docker Model Runner General Availability
docker.com·11h
🔌Interface Evolution